实例1：工业生产线的Petri网模型 有一工业生产线，要完成两项操作，分别为变迁t1和t2表示，变迁t1将进入生产线的半成品s1s2用两个部件s3固定在一起，后构成中间件s4。
然后第2个变迁t2将s4和s5用3个部件s3固定在一起构成中间件s6。
完成t1和t2都需要用到工具s7 假设受空间限制s2s5最多不能超过100件，s4最多不能超过5件，s3最多不能超过1000件。
*

Docker是可移植（或者说跨平台）的，可以在各种主流Linux发布版或者OSX以及Windows上（需要使用boot2docker或者虚拟机）使用。
Java可以做到“一次编译，四处运行”，而Docker则可以称为“构建一次，在各平台上运行”（Buildonce，runanywhere）。
从这一点可以豪不夸张地说，Docker是革命性的，它重新定义了软件开发、测试、交付和部署的流程。
我们交付的东西不再只是代码、配置文件、数据库定义等，而是整个应用程序运行环境：“OS+各种中间件、类库+应用程序代码”

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。