Piotr Chrzastowski-Wachtel
Piotr Chrzastowski-Wachtel
docent at Institute of Informatics, Warsaw University
mimuw.edu.pl의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
On weighted T-systems
E Teruel, P Chrzastowski-Wachtel, JM Colom, M Silva
International Conference on Application and Theory of Petri Nets, 348-367, 1992
1511992
A top-down petri net-based approach for dynamic workflow modeling
P Chrzastowski-Wachtel, B Benatallah, R Hamadi, M O’Dell, A Susanto
International Conference on Business Process Management, 336-353, 2003
1062003
A Diophantine problem of Frobenius in terms of the least common multiple
M Raczunas, P Chrza̧stowski-Wachtel
Discrete Mathematics 150 (1-3), 347-357, 1996
181996
Liveness of weighted circuits and the diophantine problem of frobenius
P Chrzastowski-Wachtel, M Raczunas
International Symposium on Fundamentals of Computation Theory, 171-180, 1993
141993
Hiword: A petri net-based hierarchical workflow designer
B Benatallah, P Chrzastowski-Wachtel, R Hamadi, M O'Dell, A Susanto
Third International Conference on Application of Concurrency to System …, 2003
132003
Testing undecidability of the reachability in Petri nets with the help of 10th Hilbert problem
P Chrząstowski-Wachtel
International Conference on Application and Theory of Petri Nets, 268-281, 1999
81999
Determining Sound Markings in Structured Nets.
P Chrzastowski-Wachtel
Fundam. Inform. 72 (1-3), 65-79, 2006
72006
A Maple package for conditional event algebras
P Chrzastowski-Wachtel, J Tyszkiewicz
International Workshop on Conditionals, Information, and Inference, 131-151, 2002
72002
Sound markings in structured nets
P Chrzastowski-Wachtel
Proc. of Concurrency, Specification and Programming (CS&P’2005). Warsaw …, 2005
62005
Top-down Petri Net Based Approach to Dynamic Workflow Modeling (Work in Progress)
P Chrzastowski-Wachtel
University of New South Wales, Sydney, 2002
52002
Definability of connectives in conditional event algebras of Schay–Adams–Calabrese and Goodman–Nguyen–Walker
P Chrzastowski-Wachtel, J Tyszkiewicz, A Hoffmann, A Ramer
Information processing letters 79 (4), 155-160, 2001
52001
On Generating*-Sound Nets with Substitution
J Sroka, P Chrzastowski-Wachtel, J Hidders
2011 Eleventh International Conference on Application of Concurrency to …, 2011
42011
VIPER, a student-friendly visual interpreter of pascal
M Adamaszek, P Chrzastowski-Wachtel, A Niewiarowska
International Conference on Informatics in Secondary Schools-Evolution and …, 2008
42008
Generalizations of Liveness and Fairness Properties
P Chrzastowski-Wachtel
DAIMI Report Series, 1985
21985
IRS-MT: Tool for Intelligent Resource Allocation.
P Chrzastowski-Wachtel, J Rauch
ACSD/Petri nets workshops, 235-250, 2010
12010
Petri Meta-Compiler—a Recursive Approach to System Design and Development
P Chrząstowski-Wachtel, M Doleżek, P Greipner, T Wójcicki
2019
On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality
J Sroka, P Chrząstowski-Wachtel, J Hidders
Fundamenta Informaticae 141 (4), 367-398, 2015
2015
This booklet contains the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’09) in Paris, France, June 22-23, 2009. It is a satellite event …
W van der Aalst, P Buchholz, D Buchs, P Chrzastowski-Wachtel, G Ciardo, ...
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–18