Found 60 Documents (Results 1–60)
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets. (English) Zbl 07618120
MSC:
68-XX
Decision-making modeling and evaluation of e-trust in B2C e-commerce with using colored Petri nets. (English) Zbl 1513.91025
An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets. (English) Zbl 1461.90158
Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens. (English. Russian original) Zbl 1445.68141
Cybern. Syst. Anal. 54, No. 4, 650-661 (2018); translation from Kibern. Sist. Anal. 2018, No. 4, 151-163 (2018).
MSC:
68Q85
Formal dependability modeling and analysis: a survey. (English) Zbl 1344.68200
Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 132-147 (2016).
SNAKES: a flexible high-level Petri nets library (tool paper). (English) Zbl 1432.68316
Devillers, Raymond (ed.) et al., Application and theory of Petri nets and concurrency. 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21–26, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9115, 254-265 (2015).
Verifying UCM specifications of distributed systems using colored Petri nets. (English. Russian original) Zbl 1317.93177
Cybern. Syst. Anal. 51, No. 2, 213-222 (2015); translation from Kibern. Sist. Anal. 2015, No. 2, 62-74 (2015).
MSC:
93C65
PeCAn: compositional verification of Petri nets made easy. (English) Zbl 1448.68305
Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 242-247 (2014).
Grade/CPN: a tool and temporal logic for testing colored Petri net models in teaching. (English) Zbl 1394.68258
Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency VIII. Berlin: Springer (ISBN 978-3-642-40464-1/pbk). Lecture Notes in Computer Science 8100. Journal Subline, 180-202 (2013).
Strategies for modeling complex processes using colored Petri nets. (English) Zbl 1382.68157
Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency VII. Berlin: Springer (ISBN 978-3-642-38142-3/pbk). Lecture Notes in Computer Science 7480. Journal Subline, 6-55 (2013).
MSC:
68Q85
Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions. (English) Zbl 1259.68129
MSC:
68Q60
Modeling and quantitatively predicting software security based on stochastic Petri nets. (English) Zbl 1245.68069
Modeling and verification of a protocol for operational support using coloured Petri nets. (English) Zbl 1332.90133
Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 169-188 (2011).
Thread allocation in CMP-based multithreaded network processors. (English) Zbl 1209.68017
MSC:
68M10
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN. (English) Zbl 1195.68111
A perspective on explicit state space exploration of coloured Petri nets: past, present, and future. (English) Zbl 1285.68107
Lilius, Johan (ed.) et al., Applications and theory of Petri nets. 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13674-0/pbk). Lecture Notes in Computer Science 6128, 39-42 (2010).
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets. (English. Russian original) Zbl 1191.68444
Program. Comput. Softw. 34, No. 6, 330-340 (2008); translation from Programmirovanie 34, No. 6 (2008).
MSC:
68Q85
Deriving protocol specifications from service specifications written as Predicate/Transition-nets. (English) Zbl 1118.68028
MSC:
68M12
Integrated integration definition language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes. (English) Zbl 1160.90382
Advances in verification of time Petri nets and timed automata. A temporal logic approach. (English) Zbl 1110.68087
Studies in Computational Intelligence 20. Berlin: Springer (ISBN 3-540-32869-6/hbk). xxxii, 257 p. (2006).
Reviewer: Ryszard Janicki (Hamilton)
State space exploration of object-based systems using equivalence reduction and the sweepline method. (English) Zbl 1170.68540
Peled, Doron A. (ed.) et al., Automated technology for verification and analysis. Third international symposium, ATVA 2005, Taipei, Taiwan, October 4–7, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29209-8/pbk). Lecture Notes in Computer Science 3707, 187-201 (2005).
Modeling and verification of cryptographic protocols using coloured Petri nets and Design/CPN. (English) Zbl 1087.68033
High level Petri nets analysis with Helena. (English) Zbl 1128.68377
Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 455-464 (2005).
High-level nets with nets and rules as tokens. (English) Zbl 1128.68063
Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 268-288 (2005).
Effective scheduling of local interactive processes and parallel processes in a non-dedicated cluster environment. (English) Zbl 1071.68511
MSC:
68M20
Specification and model checking of temporal properties in time Petri nets and timed automata. (English) Zbl 1094.68067
Cortadella, Jordi (ed.) et al., Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22236-7/pbk). Lecture Notes in Computer Science 3099, 37-76 (2004).
Graph grammars and Petri net transformations. (English) Zbl 1088.68079
Desel, Jörg (ed.) et al., Lectures on concurrency and Petri nets. Advances in Petri nets. Berlin: Springer (ISBN 3-540-22261-8/pbk). Lecture Notes in Computer Science 3098, 496-536 (2004).
Teaching coloured Petri nets: Examples of courses and lessons learned. (English) Zbl 1088.68658
Desel, Jörg (ed.) et al., Lectures on concurrency and Petri nets. Advances in Petri nets. Berlin: Springer (ISBN 3-540-22261-8/pbk). Lecture Notes in Computer Science 3098, 402-412 (2004).
Rule-based refinement of Petri nets: A survey. (English) Zbl 1283.68251
Ehrig, Hartmut (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (ISBN 3-540-20538-1/pbk). Lecture Notes in Computer Science 2472, 161-196 (2003).
MSC:
68Q85
Automatic symmetry detection in well-formed nets. (English) Zbl 1274.68257
van der Aalst, Wil (ed.) et al., Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23–27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40334-5/pbk). Lecture Notes in Computer Science 2679, 82-101 (2003).
Automatic formal model generation and analysis of SDL. (English) Zbl 1038.68612
Reed, Rick (ed.) et al., SDL 2003: System design. 11th international SDL forum, Stuttgart, Germany, July 1–4, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40539-9/pbk). Lect. Notes Comput. Sci. 2708, 285-299 (2003).
Industrial Petri nets. (English) Zbl 1151.93384
A generalised sweep-line method for safety properties. (English) Zbl 1064.68553
Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 549-567 (2002).
MSC:
68Q85
Executable design models for a pervasive healthcare middleware system. (English) Zbl 1018.68697
Jézéquel, Jean-Marc (ed.) et al., “UML” 2002 - the unified modeling language. Model engineering, concepts, and tools. 5th international conference, Dresden, Germany, September 30-October 4, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2460, 140-149 (2002).
CPN/Tools: A post-WIMP interface for editing and simulating coloured Petri nets. (English) Zbl 0986.68618
Colom, José-Manuel (ed.) et al., Applications and theory of Petri nets 2001. 22nd international conference, ICATPN 2001, Newcastle upon Tyne, GB, June 25-29, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2075, 71-80 (2001).
CPN/Tools: A tool for editing and simulating coloured Petri nets. ETAPS tool demonstration related to TACAS. (English) Zbl 0978.68758
Margaria, Tiziana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 7th international conference, TACAS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2031, 574-577 (2001).
A sweep-line method for state space exploration. (English) Zbl 0978.68547
Margaria, Tiziana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 7th international conference, TACAS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2031, 450-464 (2001).
Web-based interfaces for simulation of coloured Petri net models. (English) Zbl 0993.68064
Int. J. Softw. Tools Technol. Transf. 3, No. 4, 405-416 (2001).
MSC:
68Q85
Schedulability analysis of real time actor systems using coloured Petri nets. (English) Zbl 0976.68569
Agha, Gul A. (ed.) et al., Concurrent object-oriented programming and Petri nets. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 2001, 493-513 (2001).
On formalizing UML with high-level Petri nets. (English) Zbl 0976.68566
Agha, Gul A. (ed.) et al., Concurrent object-oriented programming and Petri nets. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 2001, 276-304 (2001).
Petri nets and IDEF diagrams: Applicability and efficacy for business process modelling. (English) Zbl 0984.68603
Rule-based refinement of high-level nets preserving safety properties. (English) Zbl 0969.68109
MSC:
68Q85
Modelling and analysis of a DANFOSS flowmeter system using coloured Petri nets. (English) Zbl 0986.68705
Nielsen, Mogens (ed.) et al., Application and theory of Petri nets 2000. 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1825, 346-366 (2000).
A practical approach to incremental specification. (English) Zbl 0968.68095
Smith, Scott F. (ed.) et al., Formal methods for open object-based distributed systems IV. IFIP TC6/WG6.1. 4th international conference, FMOODS 2000, Stanford, CA, USA, September 6-8, 2000. Boston: Kluwer Academic Publishers. 233-256 (2000).
State space methods for coloured Petri nets. (English) Zbl 0956.68096
Aarhus: Univ. of Aarhus, Faculty of Science, xiv, 191 p. (2000).
Testing and debugging message passing programs in synergy with their specifications. (English) Zbl 0954.68111
MSC:
68Q85
Finding stubborn sets of coloured Petri nets without unfolding. (English) Zbl 1510.68063
Desel, Jörg (ed.) et al., Application and theory of Petri nets 1998. 19th international conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1420, 104-123 (1998).
MSC:
68Q85
The practitioner’s guide to coloured Petri nets. (English) Zbl 1033.68590
Int. J. Softw. Tools Technol. Transf. 2, No. 2, 98-132 (1998).
MSC:
68Q85
The consistent use of names and polymorphism in the definition of object Petri nets. (English) Zbl 1418.68151
Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 380-399 (1996).
MSC:
68Q85
Modelling and analysis of distributed program execution in BETA using coloured Petri nets. (English) Zbl 1418.68041
Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 249-268 (1996).
Fast self-learning multivariable fuzzy controllers constructed from a modified CPN network. (English) Zbl 0808.93049
Filter Results by …
Document Type
- Journal Articles (30)
- Collection Articles (28)
- Books (2)
all
top 5
Author
- Kristensen, Lars Michael (9)
- Christensen, Soren (4)
- Jørgensen, Jens Bæk (3)
- Lakos, Charles A. (3)
- Mailund, Thomas (3)
- Padberg, Julia (3)
- Westergaard, Michael (3)
- Andersen, Peter (2)
- Beaudouin-Lafon, Michel (2)
- de Vink, Erik P. (2)
- Ehrig, Hartmut (2)
- Janecek, Paul (2)
- Jensen, Kurt (2)
- Jensen, Mads (2)
- Mackay, Wendy E. (2)
- Nepomniaschy, Valery A. (2)
- Penczek, Wojciech (2)
- Półrola, Agata (2)
- Stahl, Christian (2)
- Aalto, Annikka (1)
- Ahmed, Waqar (1)
- Al-Azzoni, Issam (1)
- Al-Riyami, Badriya (1)
- Albuquerque, Rosângela (1)
- André, Étienne (1)
- Argirov, V. S. (1)
- Baldan, Paolo (1)
- Baresi, Luciano (1)
- Barreto, Guilherme A. (1)
- Barroso, Giovanni C. (1)
- Barylska, Kamila (1)
- Beloglazov, D. M. (1)
- Ben Mnaouer, Adel (1)
- Bosilj-Vuksic, Vesna (1)
- Bystrov, Aleksandr V. (1)
- Catenacci, Roberto (1)
- Chaouiya, Claudine (1)
- Chetvertakov, E. A. (1)
- Chin, Kwai-Sang (1)
- Chung, Lawrence M. L. (1)
- Churina, T. G. (1)
- Cocco, Nicoletta (1)
- Júnior, Corneli (1)
- Cotronis, J. Y. (1)
- Down, Douglas G. (1)
- Dutheillet, Claude (1)
- El-Fakih, Khaled (1)
- Ermel, Claudia (1)
- Essani, Furqan Hussain (1)
- Evangelista, Sami (1)
- Fahland, Dirk (1)
- Gajewsky, Maike (1)
- Garrido, José Luis (1)
- Glybovets’, Mykola M. (1)
- Gogolinska, Anna (1)
- Gradišar, D. (1)
- Hafidi, Y. (1)
- Haider, Sajjad A. (1)
- Hasan, Osman (1)
- Higashino, Teruo (1)
- Hlomozda, D. K. (1)
- Hlupic, Vlatka (1)
- Hoffmann, Kathrin (1)
- Høyer Mortensen, Kjeld (1)
- Hurtado, María V. (1)
- Husberg, Nisse (1)
- Kardel, B. (1)
- Kokash, Natallia (1)
- Krause, Christian (1)
- Lai, Yuan-Cheng (1)
- Le, Dinh-Thuan (1)
- Lewis, Glenn (1)
- Lin, Yi-Neng (1)
- Lin, Ying-Dar (1)
- Lindstrøm, Bo (1)
- Linkens, Derek A. (1)
- Liu, Yang (1)
- Lorentsen, Louise (1)
- Maggi, Fabrizio Maria (1)
- Mai, Phuong-Nam (1)
- Maksymets, O. M. (1)
- Marin, Andrea (1)
- Mok, Chiu Kam (1)
- Mossakowski, Till (1)
- Mounier, Isabelle (1)
- Mušič, Gašper (1)
- Najafi, Issa (1)
- Nguyen, Huu-Vu (1)
- Nguyen, Van-Tinh (1)
- Nie, Junhong (1)
- Nigro, Libero (1)
- Noguera, Manuel (1)
- Petrucci, Laure (1)
- Pezzè, Mauro (1)
- Pham-Duy, Bao-Trung (1)
- Pommereau, Franck (1)
- Pupo, Francesco (1)
- Qian, Zhilin (1)
- Quan, Thanh-Tho (1)
- Reina, Cesare (1)
- and 22 more Authors
all
top 5
Serial
- Sci. Comput. Program. (2)
- Cybern. Syst. Anal. (2)
- Fundam. Inform. (2)
- Commun. Math. Phys. (1)
- Int. J. Control (1)
- Hiroshima Math. J. (1)
- Program. Comput. Softw. (1)
- Theor. Comput. Sci. (1)
- Int. J. Prod. Res. (1)
- Parallel Comput. (1)
- Math. Comput. Modelling (1)
- Formal Asp. Comput. (1)
- J. Parallel Distrib. Comput. (1)
- Discrete Event Dyn. Syst. (1)
- Arch. Control Sci. (1)
- Nord. J. Comput. (1)
- Informatica, Ljubl. (1)
- Math. Comput. Model. Dyn. Syst. (1)
- Nat. Comput. (1)
- Comput. Netw. (1)
- J. Discrete Algorithms (1)
- Stud. Comput. Intell. (1)
- An. Univ. Vest Timiș., Ser. Mat.-Inform. (1)
- Algorithms (Basel) (1)
- Int. J. Nonlinear Anal. Appl. (1)
- J. Log. Algebr. Methods Program. (1)
all
top 3
Software
- Design/CPN (35)
- CPN/Tools (26)
- SNOOPY (4)
- SPIN (4)
- TINA (4)
- Access/CPN (3)
- PNML (3)
- Chaff (2)
- GreatSPN (2)
- Helena (2)
- Kronos (2)
- LoLA (2)
- Maria (2)
- SYROCO (2)
- mCRL2 (2)
- ASAP (1)
- BETA (1)
- BRENDA (1)
- CPN-AMI (1)
- CosyVerif (1)
- CpnToUnit (1)
- Cython (1)
- DiVinE (1)
- Eiffel (1)
- ExSpect (1)
- FSM (1)
- GPenSIM (1)
- Ginsim (1)
- GitHub (1)
- Grade/CPN (1)
- Graphviz (1)
- GreatSPN 1.7 (1)
- HOL (1)
- Hets (1)
- Isabelle/HOL (1)
- JUnit (1)
- KEGG (1)
- LOOPN++ (1)
- MRMC (1)
- Markov Models (1)
- Matlab (1)
- MetaCyc (1)
- Murphi (1)
- NuSMV (1)
- PRISM (1)
- PROD (1)
- PeCAn (1)
- Pellet (1)
- PetriNets (1)
- ProM (1)
- Proclets (1)
- Protege (1)
- Reactome (1)
- Renew (1)
- Reo (1)
- SNAKES (1)
- SPOT (1)
- SWIG (1)
- TAPAAL (1)
- TLA (1)
- TRANSPATH (1)
- UCI-ml (1)
- Uppaal (1)
- Uppaal2k (1)
- Woflan (1)
- YAWL (1)
- dSPIN (1)
- fc2tools (1)
- swrl (1)
