共 50 条
- [21] Exploiting place invariants in condensed state space construction for Coloured Petri Nets PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 661 - 667
- [22] Derivation of non-structural invariants of Petri Nets using abstract interpretation APPLICATIONS AND THEORY OF PETRI NETS 2005, PROCEEDINGS, 2005, 3536 : 188 - 207
- [24] Use of constraints in Petri nets and their novel applications 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 32 - 37
- [26] ANALYSIS OF TRANSPORTATION SYSTEM WITH THE USE OF PETRI NETS EKSPLOATACJA I NIEZAWODNOSC-MAINTENANCE AND RELIABILITY, 2011, (01): : 48 - 62
- [29] Use of Petri Nets to Model eLearning Courses INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2019, 2020, 2293
- [30] From Coloured Petri Nets to Object Petri Nets APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297